1pt 1pt
options
=6pt plus .5pt minus .5pt
by 10pt 0pt
2pt18pt plus 1pt 10pt plus 2pt minus 1pt =1.4 maxsep 15pt dblmaxsep 15pt fptop 0pt plus 0fil fpsep 10pt plus 0fil fpbot 0pt plus 3fil dblfptop 0pt plus 0fil dblfpsep 10pt plus 0fil dblfpbot 0pt plus 3fil 5pt
@ plus .3pt lowpenalty 51 medpenalty 151 highpenalty 301 beginparpenalty -lowpenalty endparpenalty -lowpenalty itempenalty -lowpenalty =0 =10000
indentskip footindent leftskip indentskip=2.5em =1em footindent= leftskip=@
@ @ @ listi =
[] =namedefproof*Proof. namedefendproof*
5pt 3pt .5pt 1.5pt mpfootins = 0pt = 3pt = .5pt
@restonecol
float float namedeftable*dblfloattable namedefendtable*@twocolumn floatpenalty <@ consdbldeferlistcurrbox floatpenalty =-Mii esphackfloat @floatfalse float namedeffigure*dblfloatfigure namedefendfigure*@twocolumn floatpenalty <@ consdbldeferlistcurrbox floatpenalty =-Mii esphackfloat @floatfalse @float @floatfalse
haligntoto =plus 1filtabular
=
internalcite##1##1internalcite
mkbothoddheadshorttitle oddfoot evenheadshortauthor evenfootoddfoot ##1 ##1 =
== = == =
="2@ 00 &plusb#boxplus;="2@ 01 ×b#boxtimes;="2@ 02 &square#square;="0@ 03 &squf#blacksquare;="0@ 04 &loz#lozenge;="0@ 06 &lozf#blacklozenge;="0@ 07 &minusb#boxminus;="2@ 0C &ges#geqslant;="3@ 3E &les#leqslant;="3@ 36 &vrtri#vartriangleright;="3@ 42 &vltri#vartriangleleft;="3@ 43 &dtrif#blacktriangledown;="0@ 48 &rtrif#blacktriangleright;="3@ 49 <rif#blacktriangleleft;="3@ 4A &utrif#blacktriangle;="0@ 4E ="0@ 4F &planck#hslash;="0@ 7D